1. Algebraic approaches to program semantics
پدیدآورنده : Manes, Ernest G., 3491-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Programming languages )Electronic computers(,، Algebra
رده :
QA
76
.
7
.
M34
1986
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
2. Algebraic approaches to program semantics
پدیدآورنده : Manes, Ernest G
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، Programming languages )Electronic computers( -- Semantics,، Algebra
رده :
QA
76
.
7
.
M34
1986
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
3. Algebraic approaches to program semantics
پدیدآورنده : Manes, Ernest G.
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Programming languages )Electronic computers(-- Semantics,، Algebra
رده :
QA
76
.
7
.
M34
1986
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
4. Algebraic theories
پدیدآورنده : Manes, Ernest G
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : ، Algebra, Universal,، Categories )Mathematics(
رده :
QA
251
.
M365
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
5. Algebraic theories
پدیدآورنده : Manes, Ernest G.
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Algebra, Universal,، Categories )Mathematics(
رده :
QA
251
.
M365
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
6. Algebraic theories
پدیدآورنده : Manes, Ernest G
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، Algebra, Universal,، Categories )Mathematics(
رده :
QA
251
.
M365
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
7. Algebraic theories
پدیدآورنده : Manes, Ernest G.,3491-,E. G. Manes
موضوع : ، Algebra, Universal,، Categories )Mathematics(
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
8. Predicate transformer semantics
پدیدآورنده : Manes, Ernest G.
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Programming languages )Electronic computers(-- Semantics,، Computer science-- Mathematics
رده :
QA
76
.
7
.
M342
1992
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)